توصیف مبتنی بر رخداد (EBV) رویکردی برای ساخت خودکار راستی‌آزمای رفتار حین اجرای نرم افزارهای حساس به ایمنی
Authors
Abstract:
This article doesn't have abstract
similar resources
توصیف مبتنی بر رخداد (EBV) رویکردی برای ساخت خودکار راستی‌آزمای رفتار حین اجرای نرمافزار‌های حساس به ایمنی
راستی‌آزمایی پویا، که به راستی‌آزمایی رفتار حین اجرای نرم‌افزار در برابر نیازهای اولیه‌ی آن می‌پردازد، با چالش‌های ساخت راستی‌آزمای رفتار اجرایی نرم‌افزار و نگاشت بین این رفتار و رخدادهای محیطی مواجه است. ما در این نوشتار رویکردی بنام توصیف مبتنی بر رخداد (EBV) را ارائه می‌دهیم که طی چهار مرحله راه‌حلی خودکار برای این چالش‌ها ارائه می‌کند. در مرحله‌ی اول، مستندسازی نیازها، مشتمل بر تعامل محیط...
full textتوصیف مبتنی بر رخداد (EBV) رویکردی برای ساخت خودکار راستی‌آزمای رفتار حین اجرای نرمافزار‌های حساس به ایمنی
-
full textرویکردی مبتنی بر توصیف برای تولید قوانین درستی یابی نرم افزار های واکنشی
از آنجا که رویکردهای درستی یابی ایستا1 و آزمون نرم افزار ، برای اطمینان یافتن از درستی عملکرد نرم افزار ها کافی نیست، رویکرد دیگری به نام درستی یابی در زمان اجرا2 - که در آن درستی نرم افزار در برابر قیود3 در زمان اجرای واقعی نرم افزار انجام می شود - مورد استقبال قرار گرفته است. اما مشکلی که این رویکرد با آن روبه رو است، درستی یابی فعالیت های زمان اجرای نرم افزار در برابر توصیف های انتزاعی4 و سط...
full textتولید خودکار موارد آزمون برای نرم افزارهای کاربردی تحت وب
استفاده از وب یکی از مهمترین، اجتناب ناپذیرترین و در عین حال اقتصادی ترین روش ها برای اطلاع رسانی، تجارت و آموزش می باشد. همزمان با توسعه وب، تولید نرم افزارهای کاربردی تحت وب نسبت به نرم افزارهای کاربردی تحت ویندوز اهمیت بیشتری پیدا کرده است. با توجه به گسترش روز افزون کاربرد این نرم افزارها، بررسی کیفیت این نرم افزارها مسئله ای مهم و اساسی تلقی می شود. یکی از روش های موثر برای سنجش کیفیت نرم ...
15 صفحه اولتوصیف و درستی یابی سیستم های نرم افزاری حساس به ایمنی با استفاده از نمودار حالت
توصیف سیستم های حیاتی به روش های صوری و ریاضی انجام می گیرد. توصیف صوری و ریاضی مشکلات تخصصی دارند و سنگین و هزینه بر هستند.استفاده از دیاگرام ها کار را آسان می کنند ولی بیشتر دیاگرام ها دارای پایه ریاضی نیستند و در نتیجه برای توصیف سیستم های حیاتی نا مناسب اند. در میان نمودار های موجود یکی از نمودار های مطرح نمودار حالت است که این نمودار علاوه بر بصری-بودن دارای پایهریاضی مبتنی بر خودکار های ب...
ارائه رویکردی نوین و خودکار به منظور تولید داده های تست مبتنی بر روشهای تصادفی
فرآیند تست 50% کل هزینه توسعه نرم افزار را شامل می شود. به منظور تست نرم افزار، باید مجموعه ای از داده‌های تست ایجاد شوند که تولید این مجموعه، کاری بسیار زمانبر بوده و تاثیر مستقیمی بر هزینه فرآیند تست خواهد داشت. بدون خودکارسازی، این فرآیند، کند، پرهزینه و همراه با خطا خواهد بود. در این مقاله روش جدیدی به منظور تولید داده های تست بر مبنای الگوریتمهای تصادفی با ترکیب روشهای ایستا و پویا ارائه ش...
full textMy Resources
Journal title
volume دوره 23 issue 38 - ویژه مهندسی برق و کامپیوتر
pages 81- 101
publication date 2007-06-22
By following a journal you will be notified via email when a new issue of this journal is published.
Keywords
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023